🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🔢 Denotational Semantics

Domain Theory, Mathematical Models, Program Meaning, Scott Domains

Typeclassopedia
wiki.haskell.org·19h·
Discuss: Hacker News
🧬Functional Programming
A Review of Developmental Interpretability in Large Language Models
arxiv.org·18h
🤖Grammar Induction
Claude Code's 19 cent Parser
blogger.com·9h
🔧Binary Parsers
Why Semantic Layers Matter—and How to Build One with DuckDB
ssp.sh·1d
🗄️Database Internals
Song recommendations with F# free monads
blog.ploeh.dk·15h
🔗Functional Compilers
Teaching programming languages
kmjn.org·10h
💻Programming languages
Day 11: AI Analyzer Foundation Complete - Model Selection and Evidence Formatting
dev.to·4h·
Discuss: DEV
👁️System Observability
[P] aligning non-linear features with your data distribution
reddit.com·12h·
Discuss: r/MachineLearning
🧠Machine Learning
How Should a CMS Repository Understand the Content Within It?
deanebarker.net·1d·
Discuss: Hacker News
🗄️Database Internals
Knowledge and Common Knowledge in a Distributed Environment, Part 2
emptysqua.re·11h
🤝Paxos Consensus
Can large language models figure out the real world?
news.mit.edu·2h
🧮Kolmogorov Bounds
FLINT: Fast Library for Number Theory
flintlib.org·4h
🧮Algebraic Datatypes
The Lobster Programming Language
strlen.com·2h·
Discuss: Hacker News
🔗Concatenative Programming
Stable, Mutable References for Ante
antelang.org·9h·
Discuss: Hacker News, r/programming
🔒Type Safety
Anonymous structavaganza in zig
lirk.top·4h·
Discuss: Hacker News, r/Zig
🔗Concatenative Programming
Software convergence
underlap.org·3d
⚔️Lean Theorem
Abhinav Sarkar: A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·1d
🔗Functional Compilers
Spoon-Bending, a logical framework for analyzing GPT-5 alignment behavior
github.com·15h·
Discuss: Hacker News
💾Binary Linguistics
Paying attention to feature distribution alignment (pun intended)
alexshtf.github.io·13h·
Discuss: Hacker News
📐Linear Algebra
Grok: Thousands LOC a day in C is a big deal even if the "coder" uses LLM?
news.ycombinator.com·12m·
Discuss: Hacker News
📏Code Metrics
Loading...Loading more...
AboutBlogChangelogRoadmap